Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
11	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
12	Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Abstract data types Computing Software engineering Process calculi Inter-process communication Message queue Monitor Economy Queueing theory Priority queue Queue -calculus
13	Guide2lhs2TeX (for versionRalf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Source code Map Haskell Fold Programming style TeX Comment
14	MONTANA BOARD OF REGENTS OF HIGHER EDUCATION Policy and Procedures Manual SUBJECT: INFORMATION TECHNOLOGY Policy – User Responsibilities – Patrons Adopted: May 24, 2002 ________________________________________ Add to Reading List Source URL: mus.edu Language: English - Date: 2015-09-01 14:10:20 Computing Security Crime prevention Cryptography Information governance National security Computer network security Computer security Email System administrator
15	MONTANA BOARD OF REGENTS OF HIGHER EDUCATION Policy and Procedures Manual SUBJECT: RESEARCH AND PUBLIC SERVICE Policy 406 – Ownership of Electronic Course Material Adopted: March 23, 2001; Revised: September 19, 2013 Add to Reading List Source URL: mus.edu Language: English - Date: 2013-09-23 15:47:00 Intellectual property law Monopoly Information Data Mus Computing Copyright law of the United States Copyright United States corporate law Intellectual property
16	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
17	San José State University Higher Education Opening Up Higher Education with Collaboration Technology San José State University: Size: 32,800 students Add to Reading List Source URL: www.cisco.com Language: English Videotelephony Computer-mediated communication Teleconferencing Technology Computing Groupware Web conferencing Cisco Systems Deep packet inspection WebEx San Jose State University Cisco TelePresence
18	University of Amsterdam System and Network Engineering Research Project 1 Making do with what we’ve got: Using PMTUD for a higher DNS Add to Reading List Source URL: www.nlnetlabs.nl Language: English - Date: 2013-05-06 07:30:35 Network architecture Computing Internet Protocol Internet protocols IPv6 Internet Standards Path MTU Discovery IPv6 packet Internet Control Message Protocol version 6 IPv4 Maximum transmission unit Transmission Control Protocol
19	MONTANA BOARD OF REGENTS OF HIGHER EDUCATION Policy and Procedures Manual SUBJECT: INFORMATION TECHNOLOGY Policy – Electronic Mail – Students Approved: May 24, 2002 ____________________________________________ Add to Reading List Source URL: mus.edu Language: English - Date: 2015-09-01 13:49:17 Spamming Email Mail Mus Computing Cyberspace Spam filtering Internet
20	2010 The ECAR Study of Undergraduate Students and Information Technology, 2010 Add to Reading List Source URL: www5.njit.edu Language: English - Date: 2015-04-02 10:10:59 Software Computing Education Educause Higher education in the United States Educational psychology Literacy Educational technology Gmail Information literacy Facebook

UPDATE